x86: also print CRn register values upon double fault
authorJan Beulich <jbeulich@suse.com>
Thu, 20 Dec 2012 10:00:32 +0000 (11:00 +0100)
committerJan Beulich <jbeulich@suse.com>
Thu, 20 Dec 2012 10:00:32 +0000 (11:00 +0100)
commit7c9ff7aeb8541e36339c1b05f2e91fb01085eca8
treeaa85751b5499690929203a1c197a2a304647cc8d
parentd9dc585d84089edb80b4027a3d50bda533dcc780
x86: also print CRn register values upon double fault

Do so by simply re-using _show_registers().

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Keir Fraser <keir@xen.org>
xen/arch/x86/x86_64/traps.c